Teoria grup

Teoria grup to dział algebry abstrakcyjnej, którego przedmiotem badań jest struktura zwana grupą. Badania nad grupami obejmują ich własności, klasyfikacje, działania oraz zastosowania w matematyce i naukach przyrodniczych.

Definicja

Grupa (G, *) to zbiór G wyposażony w działanie dwuargumentowe *, które spełnia następujące aksjomaty:

Łączność (asocjatywność) – dla wszystkich a, b, c ∈ G zachodzi (a * b) * c = a * (b * c).
Element neutralny – istnieje element e ∈ G taki, że e * a = a * e = a dla każdego a ∈ G.
Element odwrotny – dla każdego a ∈ G istnieje element a⁻¹ ∈ G spełniający równanie a * a⁻¹ = a⁻¹ * a = e.

Jeśli dodatkowo * jest przemienne, grupa jest nazywana grupą przemienną lub abelową.

Historia

Początki teorii grup sięgają końca XVIII i początku XIX wieku, kiedy to Joseph-Louis Lagrange badał permutacje elementów pierwiastków wielomianów. W 1832 roku Augustin-Louis Cauchy sformułował twierdzenia dotyczące elementów rzędu p w grupach skończonych. Pełny rozwój tej dziedziny nastąpił w drugiej połowie XIX wieku pod wpływem prac Évariste'a Galois, który wprowadził pojęcie grupy permutacji jako narzędzia badań nad rozwiązywalnością równań algebraicznych.

Podstawowe pojęcia

Podgrupa – podzbiór H ⊆ G, który sam jest grupą względem tego samego działania.
Homomorfizm grupowy – funkcja φ : G → H zachowująca strukturę: φ(a * b) = φ(a) • φ(b).
Izomorfizm grupowy – bijektywny homomorfizm, dzięki któremu grupy G i H są strukturalnie identyczne.
Działanie grupowe – odwzorowanie G × X → X, które opisuje, jak elementy grupy „działają” na elementy innego zbioru.
Porządek elementu – najmniejsza dodatnia liczba n, taka że aⁿ = e. Jeśli taka liczba nie istnieje, element ma nieskończony porządek.

Przykłady grup

W teorii grup wyróżnia się wiele rodzin grup, które odgrywają kluczową rolę w dalszych badaniach:

Grupa permutacji Sₙ – grupa wszystkich bijekcji zbioru {1,…,n}.
Grupa cykliczna Cₙ – grupa generowana przez jeden element o porządku n.
Grupa macierzowa GLₙ(ℝ) – grupa odwracalnych macierzy n×n nad ciałem ℝ.
Grupy Lie – ciągłe grupy z strukturą różniczkową, np. grupa obrotów SO(3).
Grupa dihedralna Dₙ – grupa symetrii n‑kąta w płaszczyźnie.

Kluczowe twierdzenia

W teorii grup wyróżnia się szereg fundamentalnych wyników:

Twierdzenie Lagrange'a – rząd podgrupy dzieli rząd grupy.
Twierdzenia Sylowa – opisują podgrupy p‑Sylowa w grupach skończonych.
Pierwsze twierdzenie o izomorfizmie – dla homomorfizmu φ zachodzi G/ker(φ) ≅ im(φ).
Drugie twierdzenie o izomorfizmie – opisuje zależności między czynnikowymi grupami oraz ich podgrupami.
Twierdzenie o grupie prostych – klasyfikacja prostych grup skończonych, istotna w teorii grup prostych.

Zastosowania

Teoria grup znajduje zastosowanie w wielu dziedzinach:

Kryptografia – algorytmy takie jak RSA, ECC opierają się na strukturze grup (np. grupy eliptyczne).
Fizyka teoretyczna – symetrie opisane grupami Lie (np. grupa Lorentza w teorii względności).
Chemia – klasyfikacja symetrii cząsteczek w grupach punktowych.
Teoria liczb – grupy abelowe pojawiają się w analizie struktur pierścieni całkowitych.
Informatyka – algorytmy grupowe w grafice komputerowej, modelowaniu ruchu i rozpoznawaniu wzorców.

Powiązane działy

Teoria grup jest ściśle powiązana z innymi gałęziami matematyki:

Algebra abstrakcyjna – szerszy kontekst, w którym grupy są jedną z podstawowych struktur.
Topologia – grupy fundamentalne opisują własności topologiczne przestrzeni.
Geometria – grupy symetrii determinują klasyfikację wielokątów i wielościanów.
Teoria reprezentacji – badanie, jak grupy działają na wektorowych przestrzeniach.

Literatura

W literaturze przedmiotu można wymienić m.in.:

J. Rotman, Advanced Modern Algebra – pozycja opisująca klasyczną i współczesną teorię grup.
S. Lang, Algebra – szerokie omówienie grup, ciał i pierścieni.
D. S. Dummit, R. M. Foote, Abstract Algebra – podręcznik dla studentów obejmujący liczne przykłady i dowody.

Linki powiązane

Więcej informacji można znaleźć w następujących artykułach: